
#include <stdio.h> 

int main(int argc, char *argv[]) {
  for (int i = 0; i < 10; ++i)
	  printf("777 + %d\n", i);

  return 0;
}
